integral sin^2x